Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
851	Extending Oblivious Transfers Efficiently Yuval Ishai1 , Joe Kilian2 , Kobbi Nissim2? , and Erez Petrank1?? 1 2 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:56 Oblivious transfer Models of computation Randomness Random oracle Oracle machine Advantage Optimal asymmetric encryption padding Secure two-party computation Random function Cryptography Cryptographic protocols Cryptographic hash functions
852	Markov Chain Monte Carlo With Mixtures of Mutually Singular Distributions Raphael G OTTARDO and Adrian E. R AFTERY Markov chain Monte Carlo (MCMC) methods for Bayesian computation are mostly used when the dominating meas Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2010-06-07 16:59:42 Markov models Markov chain Monte Carlo Probability distributions Measure theory Metropolis–Hastings algorithm Markov chain Gibbs sampling Mixture distribution Singular distribution Mathematical analysis Statistics Monte Carlo methods
853	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
854	A Compiler Algorithm for Managing Asynchronous Memory Read Completion1 Daniel Maskit Scalable Concurrent Programming Laboratory California Institute of Technology Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:08:47 Computing Stack machines Computer science Models of computation Software engineering Assembly languages Random access machine Instruction scheduling Hazard Computer architecture
855	A Structure for Modern Computer Narratives Clark Verbrugge School of Computer Science McGill University Montreal, Quebec, CANADA H3A 2A7 [removed] Add to Reading List Source URL: gram.cs.mcgill.ca Language: English - Date: 2014-03-14 23:54:01 Models of computation Hypergraph Petri net Graph Tree traversal Finite-state machine Bipartite graph Topology Graph theory Theoretical computer science Mathematics
856	A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software ? Luca Berardinelli, Vittorio Cortellessa, and Antinisca Di Marco Dipartimento di Informatica Universit` a dell’Aquila Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2009-09-26 10:05:20 Software development Science Models of computation UML diagrams Systems engineering State diagram Unified Modeling Language Reliability engineering Software development methodology Diagrams Design Infographics
857	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
858	§1. Algorithmics Lecture I Page 1 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-04-13 15:02:34 Computational complexity theory Operations research Algorithms Models of computation Decision tree model Sorting algorithm Linear programming Divide and conquer algorithm Time complexity Theoretical computer science Applied mathematics Mathematics
859	What is an algorithm? Yuri Gurevich Microsoft Research Technical Report MSR-TR[removed], July 2011 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-23 13:32:36 Computability theory Applied mathematics Alan Turing Formal methods Models of computation Algorithm Church–Turing thesis Computable function Turing machine Theoretical computer science Computer science Theory of computation
860	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:38:36 UML diagrams Unified Modeling Language Infographics Science Software engineering State diagram Finite-state machine European Train Control System Petri net Diagrams Models of computation Statistics

UPDATE